21. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
1
.
L4
v
.
811
22. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
no
.
811
23. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursion theory,، Computable functions
رده :
QA
3
.
L28
no
.
811
24. Recursion on the countable functionals
پدیدآورنده : Normann, Day, 7491-
کتابخانه: (طهران)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
Vol
.
811
25. Recursively enumerable sets and degrees :astudy of computable functions and computably generated sets
پدیدآورنده : Soare, Robert Irving
کتابخانه: (طهران)
موضوع : ، Recursion functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
26. The language of machines :
پدیدآورنده : Robert W. Floyd, Richard Beigel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions.,Formal languages.,Machine theory.,Berechenbarkeit,Computabilidade e modelos de computacao.,Computable functions.,Formal languages.,Formale Sprache,Formale Sprache.,Machine theory.,Maschinensprache,Maschinensprache.,Theoretische Informatik
رده :
QA267
.
3
.
F56
1994
27. Theoretical computer science :
پدیدآورنده : edited by Peter Deussen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.
